The Cellularization Principle for Quillen adjunctions
نویسندگان
چکیده
منابع مشابه
Adjunctions for exceptions
Abstract. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended semantics. We solve this apparent contradiction by defining a logic for exceptions with a proof system which is close to their syntax and where their intended semantics can be seen as a model. This requires a robust framework for logics and th...
متن کاملThe Inclusion-Exclusion Principle for IF-States
Applying two definitions of the union of IF-events, P. Grzegorzewski gave two generalizations of the inclusion-exclusion principle for IF-events.In this paper we prove an inclusion-exclusion principle for IF-states based on a method which can also be used to prove Grzegorzewski's inclusion-exclusion principle for probabilities on IF-events.Finally, we give some applications of this principle by...
متن کاملQuillen Stratification for Modules
Let G be a finite group and k a fixed algebraically closed field of characteristic p>0 . If p is odd, let H(; be the subring of H*(G,k) consisting of elements of even degree; following [20-22] we take H~=H*(G,k) if p=2, though one could just as well use the subring of elements of even degree for all p. H a is a finitely generated commutative k-algebra [13], and we let Va denote its associated a...
متن کاملCategories Enriched over a Quantaloid: Isbell Adjunctions and Kan Adjunctions
Each distributor between categories enriched over a small quantaloid Q gives rise to two adjunctions between the categories of contravariant and covariant presheaves, and hence to two monads. These two adjunctions are respectively generalizations of Isbell adjunctions and Kan extensions in category theory. It is proved that these two processes are functorial with infomorphisms playing as morphi...
متن کاملNegation and Involutive Adjunctions
This note analyzes in terms of categorial proof theory some standard assumptions about negation in the absence of any other connective. It is shown that the assumptions for an involutive negation, like classical negation, make a kind of adjoint situation, which is named involutive adjunction. The notion of involutive adjunction amounts in a precise sense to adjunction where an endofunctor is ad...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Homology, Homotopy and Applications
سال: 2013
ISSN: 1532-0073,1532-0081
DOI: 10.4310/hha.2013.v15.n2.a11